<?php  
        //start the session  
	session_start();  
        
        require_once 'user.class.php';  
        require_once 'pro.class.php'; 
	require_once 'UserTools.class.php';  
        require_once 'DB.class.php'; 
      
    //connect to the database  
        $db = new DBBase();  
	$db->connect();  
      
	//initialize UserTools object  
	$userTools = new UserTools();  	
   
	//refresh session variables if logged in  
	if(isset($_SESSION['logged_in'])) {  
		$user = unserialize($_SESSION['user']);  
		$_SESSION['user'] = serialize($userTools->get($user->memid));  
	}  
?>  